theorem Th383: :: NUMBER11:383

Sum (digits (520,10)) = 7