theorem :: XPRIMES1:5700

canceled;