theorem Th33: :: NUMBER11:33

Sum (digits (90,10)) = 9