theorem Th506: :: NUMBER11:506
digits (1780,10) = <%0,8,7,1%>