докажем, что в прямоугольном треугольнике катет равен гипотенузе :-)