for P being Element of absolute holds (tangent P) /\ absolute = {P}