Isomorphism defining Internal Group Direct Product induces Commutativity/General Result