Oración 1: ( ) Sea F2 ∈ τ, entonces ∃g ∈ G, tal que F2 = g · F1, y notemos que F2 σ = ′ ′ ( ) ( ) {g · F | F ∈ F1σ }
Oración 2: dado un coloreo c : F2 σ → [k], induce un ′ ( ) ′ ′ ′ coloreo c : F1σ → [k], definido como c (F ) = c(g · F )
Conector: por lo tanto,
Relación: reasoning
Género: theses