Proving the Law of Sines