theorem :: XPRIMES1:2987

canceled;