proof for https://scratch.mit.edu/projects/1051022938
#omega #flowy #simulator #proof #omegaflowysimulator