Integral Domains Are Reduced