ChisubD(G), |Aut(G)|, and a variant of the Motion Lemma