proves 2. proves proves