Здравствуйте, ·, Вы писали:

g>> Сабж то как раз и требуется доказать или опровергнуть.
·>Так он доказан, лет сто назад уж. Доказан как строгая математическая теорема.

Так собственно топик про то, что доказан не убедительно и предлагается найти более убедительное доказательство без парадоксов с бесконечностями.

Здравствуйте, ·, Вы писали:

g>> Сабж то как раз и требуется доказать или опровергнуть.
·>Так он доказан, лет сто назад уж. Доказан как строгая математическая теорема.

Так собственно топик про то, что доказан не убедительно и предлагается найти более убедительное доказательство без парадоксов с бесконечностями.
Собственно я даже не понял, причем тут вообще бесконечности, но предложил предположительно-эквивалентную формулировку без них.