Прямая теорема о прямоугольном треугольнике с углом 30 градусов

Формулировка

В прямоугольном треугольнике с острым углом $30^{\circ }$, длина катета лежащий напротив угла в $30^{\circ }$ равна половине длины гипотенузы.