theorem :: NORMFORM:56
for A being set holds {} is Element of (NormForm A)