Topological Graph Theory: A Comparison of Proofs of Kuratowski’s Theorem