theorem Th1326: :: NUMBER11:1326

Sum (digits (4350,10)) = 12