theorem Th194: :: NUMBER11:194
digits (256,10) = <%6,5,2%>