¹Inspiration for this proof drawn from [Jac09, pg. 22]