Si esto lleva a una contradicción "F" se puede concluir que "S" conduce necesariamente a "P".