Теорема: Пусть А - мн-во