>>287
> > 　HをKer(f)を含むGの部分群とする。この時、
> > 　　a∈f^(-1)(f(H))⇔f(a)∈f(H)⇔a∈H
ここきちんと証明できる？