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!