theorem Th995: :: NUMBER11:995

digits (1058,10) = <%8,5,0,1%>