"is equal to the square root of the remaining side."