存在例化なら、例えば選択公理から整列定理を導くのに使ってる
それ以外にも選択公理から何かを言う場合　確実に使ってる
そうでなければ意味ないから
証明を理解していれば分かること