pero A "no" tiene una forma normal, por tanto tenemos una contradicción.