A Lichnerowicz vanishing theorem for proper cocompact actions - Ziran Liu (2013)