Si esta solución existe, debe cumplirse que