The document proves two mathematical statements: 1) If x is rational, then x must be an integer. It shows that if x is written as p/q in lowest terms, then q must be 1 or -1, making x an integer. 2) If x is not an integer, then x must be irrational. This is proved to be true as the contrapositive of the statement proved in part 1.