The author provides a new and very simple proof of the following theorem of Magnus (2):
Theorem. Let the group G have both a presentation with n + r generators and r relations also a presentation with n generators. Then G is the free group on n generators.