evgeth

9 of 15 theorems proved first

7 of 24 theorems proved first

4 of 12 theorems proved first

3 of 5 theorems proved first

3 of 14 theorems proved first

3 of 154 theorems proved first