説明の字句を訂正した。