Proof für farverbindliche Roll-Ups