Identification of proofs via syzygies