How do you prove #tan ((5pi)/6)#?