Add theorema. Add definition. Small fixes