theorem :: XPRIMES2:1770

canceled;