A proof begins: "Suppose √2 = a/b, in lowest terms." What is the next step? | StemPy Lab