law of sines (proof)