Proof involving different quantifiers?

Printable View