theorem Th951: :: NUMBER11:951

digits (414,10) = <%4,1,4%>