theorem :: HEYTING1:28

for A being set holds Top (NormForm A) = {[{},{}]}