theorem :: NORMFORM:57

for A being set holds Bottom (NormForm A) = {}