¹Inspiration for this proof drawn from [Lan02, p. 605]