Do not remember where I picked it from. Loomis has a simiar proof (algebraic 9) but also without reference.