Finished Proof of 2nd Iso-Thm