theorem Th355: :: NUMBER11:355
digits (855,10) = <%5,5,8%>