4 ms·

Plenty of people consider proof by contradiction a fast one, like all intuitionist mathematicians.