began proof of second isomorphism, and
up to establishing first case