theorem Th420: :: NUMBER11:420

digits (920,10) = <%0,2,9%>