theorem Th31: :: NUMBER11:31

Sum (digits (80,10)) = 8