• @iAvicenna
    link
    English
    13
    edit-2
    7 hours 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)