How Mathematical Proofs Shape Our Understanding of Patterns