theorem Th1361: :: NUMBER11:1361
digits (4800,10) = <%0,0,8,4%>