for P being Element of absolute holds P <> pole_infty P