for p being Element of (TOP-REAL 2) holds
( p /. 1 = p `1 & p /. 2 = p `2 )