Proof of sine law