Es decir, que hemos probado la siguiente proposición.