theorem Th193: :: NUMBER11:193
Sum (digits (240,10)) = 6