P
Initializing...
Pigeonhole: a walk of length `> n` repeats a vertex within its first `n+1` steps. · Prove2Me