theorem Th1108: :: NUMBER11:1108

Sum (digits (775,10)) = 19