This proof can actually be made more rigorous by using UG and UI, but I don't know how necessary it is because it's implied. --GFauxPas 07:47, 16 November 2011 (CST)