For commuting Hermitian operators a complete set of basis vectors can be chosen that are eigenvectors for all four operators. (The argument by Glorioso can easily be generalised to any number of commuting operators.)