theorem Th10: :: GOBOARD2:10

for f being FinSequence of (TOP-REAL 2) st f <> {} holds
Y_axis f <> {}