theorem :: XPRIMES1:988

canceled;