theorem Th838: :: NUMBER11:838

digits (1430,10) = <%0,3,4,1%>