So, suppose t1.X = t2.X, then there are two more other tuples, such that t3.X = t4.X. And those are then equal to t1.X, which means these are also equal to t2.X.
ಆದ್ದರಿಂದ, t1.X = t2.X ಎಂದು ಭಾವಿಸೋಣ, ನಂತರ t3.X = t4.X. ಇನ್ನೂ ಎರಡು ಟುಪಲ್ ಗಳಿವೆ ಮತ್ತು ಅವು t1.X ಗೆ ಸಮ, ಅಂದರೆ ಇವುಗಳು t2.X.