theorem Th826: :: NUMBER11:826

digits (1276,10) = <%6,7,2,1%>