theorem Th445: :: NUMBER11:445

Sum (digits (1160,10)) = 8