2 ms·

Is there a reason why previously found 4-dimensional counterexample couldn't have been used as the basis of induction?