( chi (A,X) is Function of X,{{},1} & {{},1} = BOOLEAN ) ;
hence chi (A,X) is Function of X,BOOLEAN ; :: thesis: verum