Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
сумма двух смежных углов 180град., второй угол 180-170=10 град. (берем пересечение прямых а и с). Внутренние накрест лежащие углы равны (углы при пересечении прямых а и в прямой с). Имеем угол 10град. Биссектриса угла 170 град, делит его пополам, значит имеем два угла по 85 град. В полученном треугольнике будут известны два угла 10 и 85 град. Сумма всех углов треугольника 180 град, неизвестный угол 180 - 85-10=85 град.
Второй биссектриса луч, пересекает прямую в параллельную прямой а. Рассматриваем равенство двух внутренних накрест лежащих углов. Один равен 170:2-85, тогда второй тоже 85 град

- искомый.