ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ (2015)