>O-竹腰拡張定理の検証はあとでもできるし、だれか詳しい人に教えて貰えば良いんだよ
O-竹腰拡張定理の検証はもっと簡単な別証でできるし、
詳しい人なら割り算定理の系だと教えてくれる。