theorem Th1178: :: NUMBER11:1178

Sum (digits (2025,10)) = 9