Clarification of proof

Printable View