theorem Th717: :: NUMBER11:717

Sum (digits (3880,10)) = 19