Non-constructive proof