Added inner product theorems file.
Added inner product theorems file