theorem Th930: :: NUMBER11:930

Sum (digits (115,10)) = 7