for f being non empty FinSequence of (TOP-REAL 2)
for G being Go-board st proj1 .: (rng f) = proj1 .: (Values G) & proj2 .: (rng f) = proj2 .: (Values G) holds
G = GoB f