theorem Th59: :: BKMODEL4:69

Dir |[1,0,1]| is Element of absolute