theorem :: XPRIMES2:1818

canceled;