theorem Th297: :: NUMBER11:297
digits (228,10) = <%8,2,2%>