How many years after Henry V's death did Charles VII become crowned king?
return Henry V 's death ;return Charles VII did becomes crowned king ;return year of #1 ;return year of #2 ;return difference of #4 and  #3
['select', 'select', 'project', 'project', 'arithmetic']