6 ms·

I'm still waiting to get "The proof is trivial! Just biject it to an ordinal number whose elements are ordinal numbers!"