It may be diagonalized together with formula_4 (the choice of this operatoris a convention), which commutes with formula_5.
Он может быть диагонализирован вместе с formula_4 (Выбор этого оператора определяется соглашением), который коммутирует с formula_5.