theorem Th984: :: NUMBER11:984

Sum (digits (851,10)) = 14