Grushko's Theorem states that $rank(G*H)=rank(G)+rank(H)$, where $rank$ is the minimum number of generators for a group, and $*$ denotes the free product. We will present Stallings' (topological) proof of Grushko's Theorem.