theorem :: XPRIMES2:700

canceled;