theorem Th796: :: NUMBER11:796
digits (924,10) = <%4,2,9%>