Usage of Technique CdtMatrixRedPairProof