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

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

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