17 詳細は第1節参照。