Sine and cosine laws