>>150
竹内外史の証明論入門にも序論として載っているくらい基本的な問題