theorem Th1141: :: NUMBER11:1141
digits (1375,10) = <%5,7,3,1%>