theorem :: XPRIMES1:700

canceled;