elim/P の説明を修正する。