Theorem

  1. Let s.t
  2. Then, are Invariant under