Для двух формально коммутирующих эрмитовых операторов, один из которых максимален, строится коммутирующее самосопряженное расширение с выходом в более широкое гильбертово пространство. Результат справедлив для не более чем ...