theorem :: XPRIMES1:1770

canceled;