theorem :: XPRIMES1:4700

canceled;