L"y" en cambio es una ocurrencia libre, y por eso puede sustituirse por otra variable o por una constante, como L"d".