theorem Th980: :: NUMBER11:980

Sum (digits (805,10)) = 13