Sine Rule (with proof)