theorem Th708: :: NUMBER11:708

digits (3800,10) = <%0,0,8,3%>