theorem Th508: :: NUMBER11:508

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