Das nennt man einen Reduktionssatz.