Никак скорее всего.
Проверьте Ваш текст на упрощаемость. Если он упрощаемый - упростите его. Если он не упрощается, то он скорее всего довольно сложный, потому его лучше разбить на несколько независимых частей, чтобы он легче читался, понимался и проверялся.
Вот, например, чем сильно хуже будет запись
![$$ x \in M \Longleftrightarrow (\exists y_1, y_2,..., y_n \in \mathbb{N}) [p(x, y_1, y_2, \ldots , y_n)=0] $$ $$ x \in M \Longleftrightarrow (\exists y_1, y_2,..., y_n \in \mathbb{N}) [p(x, y_1, y_2, \ldots , y_n)=0] $$](https://dxdy-03.korotkov.co.uk/f/a/0/1/a01766a6f7381651de2c99ec645bf85e82.png)
?
Спасибо. Да, в принципе так будет лучше, но боюсь, что две тысячи с лишним символов так трудно сократить. А как разбить на несколько частей? Я как раз это и хотел (2ая часть последняя и меньше 3000 символов)?
-- 03.06.2014, 12:10 --Хм... Добавилось

Ничего не делал - написал сначала короткое сообщение что не могу добавить аккуратное доказательство и это сообщение записалось отдельно от предыдущего. А затем я его отредактировал - записал вместо него нужное окончание. Загадка...