Writing a formal proof for this statement?

Printable View