Entonces una contracción es estrictamente corta, pero no recíprocamente (incluso con "X" = "Y").