定理の証明をしらみつぶしって解析学では不可能だろ。
実数だから、0、0.1、0.001とかしらみつぶしにしても永久に１までたどり着けない。
離散数学なら4色問題とかでできるんじゃないかな。