Definition or Theorem ?