Suppose X is a Hilbert A-module. I would like to show that for each there is a unique such that

The plan is to use adjoinable operators for each

where we take to be a right Hilbert A-module with the inner product defined by

I have shown that the operators are the adjoint of each other