Characteristic of an Integral Domain Is Zero or Prime