theorem :: XPRIMES2:4610

canceled;