theorem :: XPRIMES2:285

canceled;