theorem Th832: :: NUMBER11:832

digits (1364,10) = <%4,6,3,1%>