theorem :: XPRIMES1:2976

canceled;