theorem Th214: :: NUMBER11:214
digits (416,10) = <%6,1,4%>