patience: one more invariant proved