theorem Th127: :: NUMBER11:127
digits (208,10) = <%8,0,2%>