theorem Th291: :: NUMBER11:291

digits (133,10) = <%3,3,1%>