theorem Th170: :: NUMBER11:170

Sum (digits (45,10)) = 9