G是群,A,B是G的子群,证明AB是G的子群当且仅当AB=BA