これが自明だというのならば，他の命題でもっと自明であるにもかからわず，
真面目に証明しているものがあるのは何なんでしょうか？

まず第一にフェアじゃないですよね．