Равенство справедливо, потому что все наборы <tex> I_n </tex> можно разбить на три группы :
1) # <tex> (n) </tex> 2) # <tex> (I_{n-1})</tex> Это означает, что в наборе точно '''не''' будет присутствовать индекс <tex> n </tex>, а будут все различные варианты индексов остальных множеств, т.е. <tex> I_{n-1} </tex> 3) # <tex> (n; I_{n-1}) </tex> Аналогично предыдущему, только в наборе будет индекс <tex> n </tex>
Как видно из равенства, каждое слагаемое "отвечает" за соответствующие группы. Значит равенство истинно.
