In the single-generator case of the VERIFY algorithm, when we need to choose a new orbit representative i+1 (i1) of K on , prove that there must exist an orbit representative k of K such that