theorem Th768: :: NUMBER11:768

digits (550,10) = <%0,5,5%>