theorem Th77: :: NUMBER11:77

digits (143,10) = <%3,4,1%>