theorem Th791: :: NUMBER11:791

Sum (digits (814,10)) = 13