Un montacargas solo arranca si la carga total es exactamente 100 kg o exactamente 150 kg.
Tienes 5 cajas indivisibles de pesos desconocidos. Un operario dejó estas notas:
- cualesquiera 3 cajas juntas pesan menos de 100 kg;
- cualesquiera 4 cajas juntas pesan más de 150 kg;
- existen al menos dos pares distintos que pesan exactamente 100 kg.
¿Se sigue necesariamente que existe algún trío que pese exactamente 150 kg?