theorem Th785: :: NUMBER11:785

Sum (digits (748,10)) = 19