https://123deta.com/document/q7w2l14d-数体の定義12.html