Лемма Александрова утверждает, что в четырёхугольнике с фиксированными сторонами отмеченные углы монотонно зависят друг от друга
<a href="//commons.wikimedia.org/wiki/User:Tosha" title="User:Tosha">Tosha</a>
<span class="int-own-work" lang="en">Own work</span>