theorem Th162: :: NUMBER11:162

digits (252,10) = <%2,5,2%>