theorem Th456: :: NUMBER11:456

digits (1280,10) = <%0,8,2,1%>