We know that 1/2 squared-- if we called this, I don't know, if we called this right here x-- we know that x squared, the hypotenuse squared, is equal to the the sum of the squares of these two guys, is equal to 1/2 squared plus 1/2 squared.