[math-fun] The Law of Sines