Изменения

<wikitex>Можно перечислить все функции из $<math>\tilde{P}$</math>.

Аналогично предыдущему доказательству, сначала построим последовательность $<math>\tilde{f_i}$</math>, а затем, добавив таймер $<math>in^i$</math>, получим последовательность $<math>f_i$.</wikitexmath>.