Input (grade 13): The theorems are of considerable importance to the philosophy of mathematics.
Output (grade 12): The theorems are very important for the philosophy of mathematics.