Se basa en el teorema de Pocklington.