 But then there would then be a proper extension of "Q" within P; a contradiction to its maximality.Theorem 2.If there is an injective compact operator in formula_25; then the operators can be simultaneously (unitarily) diagonalised.