Permission is granted to use, modify, and redistribute this proof and code with attribution to lyapunov_weaver.
