"Sea formula_16, k en K, una familia no vacía de ideales izquierdos (resp.