""Si y sólo si dos operadores conmutan, tienen un conjunto de funciones propias en común"".