Def A == A False

Thm* (A) Prop