Matematiksel bir teoremi ispatlarken "∃x ∈ A öyle ki P(x)" ifadesini ispatlamak için genellikle hangi yöntem kullanılır?