<math> <apply><forall/> <bvar><ci>d</ci></bvar> <bvar><ci>p</ci></bvar> <condition> <apply><and/> <apply><in/><ci>p</ci><primes/></apply> <apply><in/><ci>d</ci><naturalnumbers/></apply> </apply> </condition> <apply><implies/> <apply><divide/><ci>d</ci><ci>p</ci></apply> <apply><or/> <apply><eq/><ci>d</ci><cn>1</cn></apply> <apply><eq/><ci>d</ci><ci>p</ci></apply> </apply> </apply> </apply> </math>