https://1library.org/document/q01ld1xz-identification-of-proofs-via-syzygies.html