theorem :: XPRIMES1:4966

canceled;