proofs.md

Graph