theorem Th787: :: NUMBER11:787

Sum (digits (770,10)) = 14