theorem Th631: :: NUMBER11:631

Sum (digits (3020,10)) = 5