theorem :: XPRIMES1:5968

canceled;