theorem Th666: :: NUMBER11:666
digits (3380,10) = <%0,8,3,3%>