Explain how 2 find the length of the hypotenuse of an isosceles right triangle if you know the length of 1 leg

I just remembered a formula. If one side is x, the other side is x, and the hypotenuse is x times the sqrt of 2.