Theorem

  • If is a Path
  • If is a Function
  • Then,
  • Then, in this case