Second page
Add algorithmcx package config
Update REAMDE
Add theorem environment
BOOOORING