Non-existence proof