theorem :: XPRIMES1:5972

canceled;