Tangent of 15 Degrees/Proof 1