patience: second part of invariant proved