15.(大学离散数学问题)(G,*)是群,a,b属于G,且a和b都是k阶元素,试问:是否一定有a*b为k阶元素?