4 ms·

this should properly be called a conjecture, as I have never encountered a formal proof of this "theorem"