theorem Th52: :: ORDINAL5:52

Sum^ {} = 0