theorem Th482: :: NUMBER11:482

digits (1540,10) = <%0,4,5,1%>