Correlation-Based And-Operations Can Be Copulas: A Proof