theorem Th1053: :: NUMBER11:1053

Sum (digits (504,10)) = 9