The proof in my book says, "Since , then . Therefor the operation is closed on ." I have very difficulties accepting it because somewhere else in the book says, "If and is closed on , but need not be closed on .