theorem Th1019: :: NUMBER11:1019
digits (1334,10) = <%4,3,3,1%>