Integers Form an Integral Domain