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