So, assume that formula_1 has at least one element, and let formula_5 be a maximal element of formula_1.
Так что предположим, что formula_2 имеет как минимум один элемент, и пусть formula_12 — максимальный элемент formula_2.