theorem :: XPRIMES1:2990

canceled;