| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
Demostrar que, dada una colección de $2^n-1$ sucesiones limeñas, cada una formada por $n$ números enteros, existen dos de ellas tales que es posible transforma una en la otra mediante un número finito de operaciones.