Во-первых, перепишите всё в ТеХе. Во-вторых: кто такой Баннех?... В-третьих, это стандартная теорема и надо её просто прочитать в учебнике. В четвёртых, при чём тут конкретно

-то? Все остальные

в отношении полноты и её доказательства ничем не отличаются.