Hemos probado la siguiente proposición.