The detailed proof is in Appendix A.
other popular candidates, like GloVe (Pennington et al., 2014) and CBoW (Mikolov et al., 2013a), require more sense identities to be selected as input and thus not suitable for our scenario.