non-constructive proof