theorem :: XPRIMES2:1426

canceled;