theorem Th52: :: ORDINAL5:52
Sum^ {} = 0