>>179
G=H∪(g_1)H∪…をfで移せばいいじゃない