Consider two operators hat() and hat(), and suppose they both correspond to good quantum
numbers - i . e . the state is simultaneously an eigenstate of both of them:
which in turn means that hat()ℎ() - hat()ℎ() = 0, i . e . the operators commute [ℎ(), hat()] = 0