Формула вычисления значения котангенса угла была заложена в основу новой теоремы.