Invarianty jsou mocné. Tvrzení jsou mocnější.