for all \(f\in \ell ^\infty (J)\)  and \(x\in J^\ast .\) 
If \(\gamma (x)\ne 1\)  for some \(x\in H\) , then \(\gamma \) 
is a nontrivial character of \(H\)  and
\(\widehat{K}= \widehat{H}\cup \widehat{J} \) 
implies that \(\gamma |_J=1\) . Since
\(J\)  is commutative, \(J\)  must be
amenable [1]}, and
the amenability of \(H\)  in
\(\gamma \)  follows from Remark REF .
