Где проверка? Подставь ∠1 = ∠3 = 90° в условие — выполняется?

Да. Если ∠1 = ∠3 = 90°, то их сумма равна 180°, как и требуется для смежных углов.