Sin Double Angle Formula Proof