彼はfがX上値が2-値関数であるX上定義された関数であれば2-値関数G(x)=1−f(x)(x)はfの値域に入らないことを示した。
他证明了如果f是定义在X上的函数，它的值是在X上的二值函数，则二值函数G(x)=1−f(x)(x)不在f的值域中。