Let formula_3 if and only if formula_4 (where formula_5 denotes the largest connected subset containing formula_6).
Пусть formula_4 тогда и только тогда, когда formula_5 (где formula_6 обозначает максимальное связное подмножество, содержащее formula_7).