Finished Proof of 1st Iso-Thm