Comment by fasterik

The claim is about the equivalence between two proofs and says nothing about the correctness of either proof. This seems to be confusing a lot of people.