theorem :: HILBERT3:29

for V being SetValuation holds SetVal (V,VERUM) = 1 by Def2;