theorem Th1095: :: NUMBER11:1095

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