theorem Th578: :: NUMBER11:578

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