Какие из следующих утверждений верны?

1) Квадрат любой стороны треугольника равен сумме квадратов двух других сторон без удвоенного произведения этих сторон на синус угла между ними.
2) Если катеты прямоугольного треугольника равны 5 и 12, то его гипотенуза равна 13.
3) Треугольник ABC, у которого AB = 5, BC = 6, AC = 7, является остроугольным.
4) В прямоугольном треугольнике квадрат катета равен разности квадратов гипотенузы и другого катета.

Если утверждений несколько, запишите их через точку с запятой в порядке возрастания.