theorem Th1344: :: NUMBER11:1344

Sum (digits (4575,10)) = 21