theorem Th200: :: NUMBER11:200
digits (304,10) = <%4,0,3%>