P
Initializing...
Fully open paths are short: an open path of length m needs at least log2(m+1) distinct 2-adic levels · Prove2Me