for C being FormalContext holds [(phi C),(psi C)] is co-Galois