theorem Th156: :: NUMBER11:156

digits (210,10) = <%0,1,2%>