| OME Local |
| OME Andaluza |
| OME Nacional |
| OIM |
| IMO |
| EGMO |
| USAMO |
| ASU |
| APMO |
| OMCC |
| Retos UJA |
Para responder al apartado (b), comenzamos dividiendo todos los $x_i$ entre 3 y observamos que los números resultantes también cumplen la propiedad (los $S_i$ se dividen entre 3 también), luego el apartado (a) nos dice que deben seguir siendo múltiplos de 3 y esto lleva a que cualquier potencia de $3$ debe dividir a todos los $x_i$, lo que no deja más posibilidad que la de que todos los $x_i$ sean cero.
Nota. La misma demostración del apartado (b) se puede reescribir mediante descenso infinito.