theorem Th1360: :: NUMBER11:1360

Sum (digits (4775,10)) = 23