数学的議論における「自明」の定義できる奴おる?