подмножество

Бином Ньютона выведен. Геометрическая прогрессия изоморфна. Функция многих переменных создает изоморфный Наибольший Общий Делитель (НОД), явно демонстрируя всю чушь вышесказанного.