Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: O QUE É O Ceased to be Duke of Girona QUE TEM PETER IV?
 ###Tabelas: CREATE TABLE holders (holders_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Heir of VARCHAR, Birth VARCHAR, Ceased to be Duke of Girona VARCHAR, Death VARCHAR) CREATE TABLE nba_draft (nba_draft_id AUTO_INCREMENT PRIMARY KEY, Round INT, Pick INT, Player VARCHAR, Nationality VARCHAR, College VARCHAR) CREATE TABLE wairoa_district (wairoa_district_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Gender VARCHAR, Area VARCHAR, Authority VARCHAR, Decile INT, Roll INT) CREATE TABLE game_results (game_results_id AUTO_INCREMENT PRIMARY KEY, Year INT, Game VARCHAR, Team VARCHAR, Runner-up VARCHAR, Score VARCHAR) CREATE TABLE uefa_europa_league (uefa_europa_league_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Competition VARCHAR, Round VARCHAR, Club VARCHAR, Home VARCHAR, Away VARCHAR, Aggregate VARCHAR)  
SELECT Ceased to be Duke of Girona FROM holders WHERE Heir of = peter iv