theorem Th234: :: NUMBER11:234

Sum (digits (119,10)) = 11