A topology on a space is defined by what the open sets are. So your professor's proof is enough because it shows that the open sets in $\mathbb{R}\times \mathbb{R}$ (with the product topology) are precisely the same as the open sets in $\mathbb{R}^2$ (with the metric topology). So the identity map $\mathbb{R} \times \mathbb{R} \to \mathbb{R}^2$ is a homeomorphism.
As Jason DeVito pointed out, showing $f \circ f^{-1}$ and $f^{-1}\circ f$ are identities does not prove homeomorphism unless you also prove that $f$ and $f^{-1}$ are continuous. Proving they are continuous consists of proving the two implications your professor has suggested.