Every compact metric space that supports a positively expansive homeomorphism is finite - Ethan M. Coven; Michael Keane (2006)