The isomorphism with even and odd functions in F can be proved using the Gelfand–Naimark construction since the matrix coefficients associated to 1 and z in the corresponding representations are proportional. Itzykson (1967) gave another method starting from the maps