Изменения

Кроме того, так как формула верна для <tex>~l=2</tex> (из базы индукции), то верно равенство <tex> | A | = | B | + | A_n | - | B \cap A_n |(1*)</tex>. Найдем <tex>~| B \cap A_n |</tex>:

Подставим полученные значения в <tex>(1*)</tex>: