"Теперь мы можем записать функцию f(M, w) которая". Перед "которая" запятая.
* И поправь форматирование, пожалуйста. Формула <tex>\phi(A, B, t)</tex> пополам разорвана.
Стало существенно понятнее. Только поставь, пожалуйста, точки в конце формулировок лемм и в доказательстве второй (после примечания) исправь <tex>\phi(a, B, t)</tex> - там же А должно быть.