Делимость, как инвариант