Trouble with unique existance proof

Printable View