[!Theorem 5.2.1]

Let with

  • The function defined by is linear
  • The function defined by is linear