>>226
>証明のスタイルが古い

例えばどういうところ?