theorem Th68: :: NUMBER11:68

Sum (digits (77,10)) = 14