とユニフィケーションしようとする場合、"x" は無限個の項を持たなければならなくなる。