theorem Th424: :: NUMBER11:424

digits (960,10) = <%0,6,9%>