Proven-paradox