Characteristic of a Field Is Zero or Prime