theorem Th1101: :: NUMBER11:1101

digits (675,10) = <%5,7,6%>