Step 1 shows that there must be a time t when the topology stops switching. Before this moment, the topology may have switched to the attacked topology G at time t. There are two situations at this time:
Step 1 indicates that there must be a time t when the topology stops switching. Prior to this moment, the topology may have switched to the attacked topology G at time t, and there are two situations:
Step 1 shows that there must be a moment t to stop topology switching. Before this moment, the topology may switch to the attacked topology G at time t, and there are two situations: