詳細は
7.10.2 項
を参照。