Added an alternate proof