$${(K\, \text{ja}\, U\, \text{summa süsteemi mistahes olekus}) = \\ (K\, \text{ja}\, U\, \text{summa süsteemi mistahes muus olekus})}$$