>>127,128
だってLの任意の元xをとるときxは単項拡大K(x)に含まれるから。