adding lemma to prove motor ranges in smaccmpilotphase2