theorem :: XPRIMES1:2972

canceled;