Идею инварианта для циклов вроде как понял, но только для разобранных в примерах математических функций. А не могли бы привести пример инварианта с  объектами, а то никак не могу понять, как его к ним применить можно. Или инвариант применяется только к математическим функциям?