theorem :: ORDINAL5:64

for A being Cantor-normal-form Ordinal-Sequence st Sum^ A = 0 holds
A = {}