 The Gelfand–Naimark representation of a C*-algebra is an isometric *-representation.It suffices to show the map π is injective, since for *-morphisms of C*-algebras injective implies isometric.Let "x" be a non-zero element of "A".