theorem :: XPRIMES2:1269

canceled;