theorem :: XPRIMES2:4890

canceled;