An interesting thing about this proof is that it looks as though an earlier draft relied on computer assistance – see the author’s code repository at https://github.com/jcpaik/sofa-designer – whereas this preprint contains a proof that “does not require computer assistance, except for numerical computations that can be done on a scientific calculator.”