• @iAvicenna
    link
    English
    18
    edit-2
    2 months ago

    yea this is one of those theorems but history is studded with “the proof is obvious” lemmas that has taken down entire sets of theorems (and entire PhD theses)