theorem Th273: :: NUMBER11:273

Sum (digits (72,10)) = 9