Proof: The Countability of ℤ and ℚ