We generalize [4, Theorem 4.3] to the case of Hopf-Galois extension, by introducing the cotensor product of a comodule algebra and its opposite algebra, and then give some applications.