Isomorphism defining Internal Group Direct Product induces Commutativity