theorem Th372: :: NUMBER11:372
digits (420,10) = <%0,2,4%>