Bonsall's proof of the spectral theorem is regarded as an application of the Kubo-Ando theory on operator means. Consequently, the Kato theorem for the lattice operations on the spectral order of positive operators is given a new look in terms of operator means.