Add definition. Add theorema.