Post #2742918

i think i am basically done with the mental experiment of the proof. the only thing left is to make them precise and write them done. should be doable in one night.