theorem Th80: :: NUMBER11:80

Sum (digits (154,10)) = 10