theorem :: XPRIMES2:1243

canceled;