>>107
計算が好きになるかどうかはわからないが、二次形式論や二次形式の合成
辺りの証明を検算すると、非常に計算の訓練になると思う。初等的な代数計算で
あれだけの証明ができるところはすごい。

ガウスは、いかにしてあんな複雑な式の組み合わせを思いつくことができたのか
いつも不思議に思う。