<math> <apply><forall/> <bvar><ci>a</ci></bvar> <apply><eq/> <apply><power/><ci>a</ci><cn>1</cn></apply> <ci>a</ci> </apply> </apply> </math>