theorem :: XPRIMES1:3972

canceled;