theorem Th994: :: NUMBER11:994

Sum (digits (1035,10)) = 9