Об инварианте поведения программстатья