How do you simplify sqrt 3 div 2 times sqrt 3??