theorem Th40: :: NUMBER11:40

digits (130,10) = <%0,3,1%>