theorem Th986: :: NUMBER11:986

Sum (digits (897,10)) = 24