theorem Th681: :: NUMBER11:681

Sum (digits (3520,10)) = 10