A proof is a proof. What kind of a proof? It's a proof. A proof is a
proof. And when you have a good proof, it's because it's proven. -
Jean Chretien