theorem Th1049: :: NUMBER11:1049

Sum (digits (216,10)) = 9