 We need to prove that there exists a real number "h" consistent with the values "a, b," and "c", in which case this triangle exists.By the Pythagorean theorem we have and according to the figure at the right.Subtracting these yields .