theorem :: XPRIMES1:1893

canceled;