4 ms·

I'm not so sure about that. I don't think introducing an extra dimension is elegant. There are probably more elegant proofs.