theorem :: XPRIMES1:1426

canceled;