About first order elimination results of 10,000

Relevance