theorem :: XPRIMES2:244

canceled;