theorem :: XPRIMES1:2930

canceled;