theorem :: XPRIMES1:2700

canceled;