Proof of Cosine Formula