theorem :: XPRIMES2:1335

canceled;