不要式の削除に関するドキュメントを修正