София Риддл, надо глянуть, нет ли в доказательстве той теоремы чего-то, противоречащего неоднозначности функции.

Cheery Cherry, а вот это ещё лучше:) Конструктивизм!