Propositions II 12 and 13 from Euclid's Elements are equivalent to the law of cosines, which relates the lengths of all three sides of a triangle to the cosine of one of its angles. The document shows that the law of cosines can be proven through consideration of three cases for the angle C: when C is obtuse, a right angle, or acute. This verifies that Propositions II 12 and 13 are essentially the same as the law of cosines.