theorem Th957: :: NUMBER11:957

digits (552,10) = <%2,5,5%>