二次形式論を勉強したことがないのはわかった。