prompt: Generate a sentence with "b1" difficulty and keywords: expressions, theories, principles, proofs, theorems.
label: Expressions in theories, expressions that make up the principles, proofs and theorems of the abstract sciences are, for example, objective.