Proof para Roll-Ups com cores vinculativas