Prove that? # cot 15^@ = 2+ sqrt3#