theorem Th1337: :: NUMBER11:1337

digits (4500,10) = <%0,0,5,4%>