theorem :: HILBERT3:7

for x being set holds {} . x = {} ;