Canonical Equational Proofs