Suppose hS$,?$i has an identity element e for $?.$ Prove the following statement:

If $\backslash$phi : S $->$ S$0$ is an isomorphism of hS$,?$i with S$0$

$,?0,$ then $\backslash$phi $($e$)$ is an identity element for

the binary operation $?0$ on S