Proving the law of sines