theorem :: XPRIMES2:891

canceled;