theorem :: XPRIMES1:972

canceled;