theorem Th911: :: NUMBER11:911

Sum (digits (2310,10)) = 6