4 ms·

And if it's known by more than one person, it's "trivial" :)

• matthewrudy 11y ago
  Tim Gowers' informal definition of "trivial" is: "when a proof springs to mind"