theorem Th913: :: NUMBER11:913

Sum (digits (2332,10)) = 10