theorem :: XPRIMES1:5966

canceled;