Law of Cosines, step-wise proof