theorem Th378: :: NUMBER11:378

digits (480,10) = <%0,8,4%>