theorem Th12: :: SURREALO:12

for S being non empty surreal-membered set st S is finite holds
ex Min, Max being Surreal st
( Min in S & Max in S & ( for x being Surreal st x in S holds
( Min <= x & x <= Max ) ) )