>>384
というか
H∩{g_i | i<n}
だけで良かったのか アホだな