Her önerme bir teorem midir?