Что - то не то .....
Вот именно надо доказать "Поэтому существует число а, не принадлежащее А."