"...always equals the sum of the squares of the other sides."