theorem Th781: :: NUMBER11:781

Sum (digits (704,10)) = 11