theorem Th1275: :: NUMBER11:1275
digits (3650,10) = <%0,5,6,3%>