Establish this logical equivalence, where x does not occur as a free variable in A.

Printable View