theorem Th486: :: NUMBER11:486

digits (1580,10) = <%0,8,5,1%>