Comment by adamgordonbell

Are these proofs equivalent? Pretty cool if so.