public k:int;
public i:int; req {k+1}; set; get;

при изенении k автоматически перевычисляется i.