theorem Th293: :: NUMBER11:293

digits (152,10) = <%2,5,1%>