Por tanto estiramiento y acortamiento deben ser compatibles, ésa es precisamente la condición de compatibilidad adicional que resuelve el problema: