All this proof automation.

But still no P=NP.

For P ≠ 0, we get N = 1. ■