Verlängerungssatz