theorem Th72: :: NUMBER11:72

Sum (digits (99,10)) = 18