theorem Th216: :: NUMBER11:216

digits (432,10) = <%2,3,4%>