theorem Th129: :: NUMBER11:129

digits (221,10) = <%1,2,2%>