started the proof of if x is reachable then bfs finds a path for it