theorem Th525: :: NUMBER11:525

Sum (digits (1960,10)) = 16