P
Initializing...
Lemma 1.16 -- harmonic functions of an irreducible chain are constant · Prove2Me