First isomorphism theorem

GPTKB entity