• dfyx@lemmy.helios42.de
    link
    fedilink
    English
    arrow-up
    4
    ·
    11 days ago

    Yes, it’s pretty intuitive. A formal proof is still a bit more work than what I can fit in an ELI5 but at the same time simple enough that it can be given to a 2nd semester computer science student as an exercise.