theorem :: XPRIMES2:1270

canceled;