Period is constant on a communicating class
ID: period-is-constant-on-a-communicating-class
If communicating states can be joined in and steps, then is a return time to , and adjoining any return loop of length at makes another. Their difference shows , hence ; symmetry gives equality.
New to topics? Read the docs here!