О новом подходе к проблеме эквивалентных преобразований программстатья