theorem :: XPRIMES1:770

canceled;