for which A is AC necessary to prove A X A ~A?

Printable View