Mutually Compatible Observables. prove that the The computations show that the commutators [Lz,