theorem Th1094: :: NUMBER11:1094

Sum (digits (450,10)) = 9