sentence1: by constructing appropriate control variations and using a suitable open mapping theorem , one can show that a control system is small-time locally controllable .
sentence2: however , there exist control systems which are small-time locally controllable from x 0 , but one can not check their smalltime local controllability using classical control variations constructed by the iterated family of lie brackets .