theorem Th808: :: NUMBER11:808

digits (1056,10) = <%6,5,0,1%>