theorem Th1139: :: NUMBER11:1139
digits (1350,10) = <%0,5,3,1%>