3 ms·

"the proof is trivial" "but can you prove it? [10 minutes of intense staring and thinking] "yes, it is trivial"