theorem Th21: :: BKMODEL2:29

for P being Element of absolute holds P in tangent P