There's a theorem in Euclidean Geometry that says: "Let $\Delta$ and $\Delta'$ be two right triangles. If the hypotenuse and a leg of $\Delta$ has the same measure as the hypotenuse and a leg of $\Delta'$, then $\Delta\cong\Delta'$." Wikipedia says this is only a sufficient condition, by I don't...