Law-equivalence lemma

математика лемма об эквивалентности последовательностей законов