Допустимо ли такое доказательство теоремы Кантора?

Answer 1

Док-во существования практически следует из определения стягивающихся отрезков, поэтому тут вроде всё нормально. А вот единственность фактически не доказана, а просто постулирована (как бы масло масляное) . По-моему, не обойтись хотя бы без доказательства от противного, когда предполагаем, что таких точек два и приходим к противоречию.