Here is the full list of all 9 Theorem achievements.
Level 30 has been solved
Squaring the circle
Level 20 has been solved
Level 10 has been solved
Level 40 has been solved
Portal legacy
Level 46 has been solved
The last level has been reached
All levels have been solved