theorem Th480: :: NUMBER11:480

digits (1520,10) = <%0,2,5,1%>