Somehow different question about a proof

Printable View