extensión mayor.