theorem Th402: :: NUMBER11:402

digits (720,10) = <%0,2,7%>