theorem Th1196: :: NUMBER11:1196

Sum (digits (2325,10)) = 12