theorem :: XPRIMES2:2890

canceled;