theorem :: XPRIMES2:893

canceled;