theorem Th384: :: NUMBER11:384
digits (540,10) = <%0,4,5%>