La siguiente proposición es