theorem Th522: :: NUMBER11:522

digits (1940,10) = <%0,4,9,1%>