theorem Th209: :: NUMBER11:209
Sum (digits (368,10)) = 17