for r1, r2, r19, r29 being Real st |[r1,r2]| = |[r19,r29]| holds
( r1 = r19 & r2 = r29 ) by FINSEQ_1:77;