Well except 24 should be 25. Lol
I could look it up but the proof is trivial. Vector representing side c is vector of side a + vector of side b. Therefore, their dot products are equal, and when you expand that it's c = sqrt(a^2 + b^2 - 2abcos(angle))