Exercise: Prove equivalence end to end

> EOF