theorem :: XPRIMES2:1893

canceled;