theorem :: XPRIMES2:1379

canceled;