2 ms·

I had to look at theorem 2.1 to verify you had blatantly mistyped the theorem itself. Was that just to mess with us? :)