theorem Th887: :: NUMBER11:887

Sum (digits (2024,10)) = 8