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