Proof para Roll-Ups con fidelidad de color