theorem Th97: :: NUMBER11:97

Sum (digits (36,10)) = 9