Bogados
F Gj
F Gj - R^ → s such that f = gj.