3 ms·

Programmers, yo don't neda lemma.