Fixed Matches Proofs

fixed matches