invariantne 1(a)

muutumatuks jääv