theorem Th50: :: NUMBER11:50
digits (180,10) = <%0,8,1%>