:: deftheorem defines Dirm101 BKMODEL1:def 2 :
Dirm101 = Dir |[(- 1),0,1]|;