これにより、空間上の有界作用素に対して、作用素の積を取る演算が二変数の連続写像(jointly continuous)であることが導かれる。