theorem Th203: :: NUMBER11:203
Sum (digits (320,10)) = 5