Now let formula_15 be maximal such that for every formula_16 there is a directed edge from formula_17 to formula_11.
Пусть formula_15 - максимальное число, такое что для любого formula_16 имеется дуга из formula_17 в formula_11.