theorem Th271: :: NUMBER11:271

Sum (digits (54,10)) = 9