theorem Th850: :: NUMBER11:850

digits (1584,10) = <%4,8,5,1%>