theorem Th1127: :: NUMBER11:1127

digits (1125,10) = <%5,2,1,1%>