theorem Th253: :: NUMBER11:253
digits (374,10) = <%4,7,3%>