一階の単一化
変数の動く範囲が対象のみである単一化問題
単一化子が存在する場合は最汎単一化子が存在することが知られている