P ≠ NP vielleicht gelöst