theorem :: XPRIMES2:889

canceled;