Інваріанти потужні. Твердження є більш потужними.