theorem :: XPRIMES2:1224

canceled;