Task: Text Quality Evaluation
Input (English): Use was made of Gauss's polynomial lemma.
Output (English): acceptable