theorem Th516: :: NUMBER11:516

digits (1880,10) = <%0,8,8,1%>