Basic identity proving

Printable View