<math> <apply><forall/> <bvar><ci>a</ci></bvar> <condition><apply><neq/><ci>a</ci><cn>0</cn></apply></condition> <apply><eq/> <apply><divide/><ci>a</ci><ci>a</ci></apply> <cn>1</cn> </apply> </apply> </math>