数学の命題の証明とはその命題がトリビアルな事実の積み重ねであることを示すことに他ならない
塵も積もれば山となる