theorem Th1185: :: NUMBER11:1185

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