theorem Th697: :: NUMBER11:697

Sum (digits (3680,10)) = 17