theorem Th500: :: NUMBER11:500

digits (1720,10) = <%0,2,7,1%>