証明される結果は解析学の方が美しいけど
証明のプロセスは代数学の方が美しい。