Help with proving some facts

Printable View