simple proof. LHS = RHS

Printable View