theorem Th412: :: NUMBER11:412

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