<math> <apply><forall/> <bvar><ci>a</ci></bvar> <bvar><ci>b</ci></bvar> <condition><apply><neq/><ci>b</ci><cn>0</cn></apply></condition> <apply><eq/> <ci>a</ci> <apply><plus/> <apply><times/> <ci>b</ci> <apply><quotient/><ci>a</ci><ci>b</ci></apply> </apply> <apply><rem/> <ci>a</ci> <ci>b</ci> </apply> </apply> </apply> </apply> </math>