Sea b un elemento de F, se prueba en