theorem Th348: :: NUMBER11:348

Sum (digits (779,10)) = 23