theorem Th212: :: NUMBER11:212
digits (400,10) = <%0,0,4%>