Invariantit ovat voimakkaita. Väitteet ovat voimakkaampia.