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.
Articles by others on the same topic
There are currently no matching articles.