Una proposición insolvente