theorem Th941: :: NUMBER11:941
digits (253,10) = <%3,5,2%>