sentence1: about the strong liouville property , lyons and sullivan showed that if γ is virtually nilpotent , then any positive harmonic function on m is constant .
sentence2: lyons and sullivan showed that if γ is non-amenable , then there exist non-constant , bounded harmonic functions on m .