grouphom facts
exact sequence 0 → G → H → 0 implies that G == H
long exact sequence
action of cohomology functor on constant function