>>973
>>961の式変形を見てみるとそうではないな。