theorem Th382: :: NUMBER11:382
digits (520,10) = <%0,2,5%>