We'll just go from the start state and come back to the start state and so the set of states that the machine could be in after the first transition is just the set A. So it's guaranteed to still be in the start state. 