for P being Element of absolute holds P in tangent P