elimTFn idPn の説明を修正する。