theorem :: XPRIMES2:770

canceled;