P
Initializing...
Lemma 1.6 -- the period is constant on an irreducible chain · Prove2Me