Postulat • FP: Группы Вагнер не существует