>>751-752
>>737でいいんじゃないの？係数体の標数が2とかならともかく。実数体なら>>737でいいと思う。