given that cot 2 pi/7