Dada a sentença (?x)(?x 4 + 1 = x + 1, a negação será: