theorem :: XPRIMES2:1396

canceled;