theorem Th1037: :: NUMBER11:1037

digits (1587,10) = <%7,8,5,1%>