Proving Law of Sines