Seja um ângulo e uma reta do seu plano, que contém , e situada na região não convexa. Sejam e as bissetrizes dos ângulos agudos que e forma com . Se , mede