theorem Th75: :: SURREALC:75

for x being Surreal
for r being Sequence of REAL
for y, s1, s2 being Sequence
for alpha being Ordinal st s1 | alpha = s2 | alpha & x in_meets_terms s1,y,r,alpha holds
x in_meets_terms s2,y,r,alpha