theorem Th394: :: NUMBER11:394

digits (640,10) = <%0,4,6%>