theorem Th30: :: BKMODEL2:40

for P being Element of absolute holds tangent P misses BK_model