Demonstration and explanation

  • condition
  • but
  • not satisfied