theorem Th836: :: NUMBER11:836

digits (1408,10) = <%8,0,4,1%>