>>79
対角線論法ではない証明をぜひ