theorem :: XPRIMES2:883

canceled;