Cayley Graph Proofs