Text this: Normal subdigroups and the isomorphismtheorems for digroups