Wie man ein Beweis-Set in Coolset überprüft