Added my problems page and some theorems.