theorem :: NORMFORM:56

for A being set holds {} is Element of (NormForm A)