Más precisamente, disponemos de una biyección: