Определение: Федеративное государство – государство, которое имеет в
своем составе хотя бы одно автономное образование.
Лема: Украина – это федеративное государство.
Доказательство: в Украине есть Крымская автономия.
Доказательство от противного: противный не хочет считать Украину
федерацией.