theorem :: XPRIMES2:890

canceled;