theorem :: XPRIMES2:728

canceled;