| No | Pattern | Freq | Relations |
|---|---|---|---|
| 1 | of proving [det] | 58 |
|
| 2 | of proving these | 49 |
|
| 3 | of proving that | 5 |
|
