Let be an atomic Boolean subspace lattice in Banach space X and δ a derivation of alg.
设是Banach空间X上的原子Boolean子空间格，δ是alg的任一导子，则存在X中的一个稠定线性算子T，使得δ（A）＝AT—TA（A∈alg）在T的定义域（T）上成立。
