theorem Th961: :: NUMBER11:961
digits (598,10) = <%8,9,5%>