theorem Th357: :: NUMBER11:357

digits (874,10) = <%4,7,8%>