An operator A is said to be positive if 0 for all states | > in the space.

PROVE: If C is an arbitrary operator the products and are Hermitian and positive.

Since C is an arbitrary operator then for some in the space.

So

Then

Which gives

Can someone verify if I got this correct so far or if I totally botched this up?

Thanks