Как на практике использовать математику и инварианты в программировании