theorem Th1324: :: NUMBER11:1324

Sum (digits (4325,10)) = 14