theorem Th275: :: NUMBER11:275

Sum (digits (108,10)) = 9