for P being Element of absolute ex Q being Element of absolute st P <> Q