theorem Th1338: :: NUMBER11:1338

Sum (digits (4500,10)) = 9