Изменения

* Запятые. С ними очень много проблем.

В предложении после определения перед словом "необходимо" нужна запятая.

"Чтобы доказать это просто приведём программу". После "это" запятая.

"Теперь мы можем записать функцию f(M, w) которая". Перед "которая" запятая.

* И поправь форматирование, пожалуйста. Формула <tex>\phi(A, B, t)</tex> пополам разорвана.