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