theorem Th240: :: NUMBER11:240
Sum (digits (204,10)) = 6