Add save button to new theorem page
Save theorem with name and number
Save theorem result
Add hover info for fantasy hypothesis