Property

Proof

  1. Therefore, are adjoins if existing is unique
  2. Now, we show Preserve Inner Product