P

Initializing...

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