theorem :: XPRIMES2:1457

canceled;