theorem Th561: :: NUMBER11:561
Sum (digits (2320,10)) = 7