theorem Th436: :: NUMBER11:436

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