theorem :: XPRIMES2:1238

canceled;