theorem Th19: :: BKMODEL2:27

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