for A being set holds {[{},{}]} is Element of Normal_forms_on A