定義域の共通部分 "d"("p") ∩ "d"("q")に含まれる、"h" の稠密な部分空間 "d" で、以下を満たすものが存在する。