theorem :: XPRIMES2:1374

canceled;