theorem Th435: :: NUMBER11:435

Sum (digits (1060,10)) = 7