theorem Th1241: :: NUMBER11:1241

digits (3075,10) = <%5,7,0,3%>