theorem Th53: :: NUMBER11:53

Sum (digits (190,10)) = 10