theorem :: XPRIMES1:5970

canceled;