theorem Th25: :: NUMBER11:25

Sum (digits (50,10)) = 5