Mapping from Product of Subgroups to Group is Isomorphism iff Normal