と書き替えることができる。