√7 cot⁡(π/7)=4 sin⁡(π/7) sin⁡(3π/14)+3 sin⁡(π/7)