[Wikipedia][1]: > The existence of such one-way function... would prove that the complexity classes P and NP are not equal. How is this proved? [1]: https://en.wikipedia.org/w/index.php?title=One-way_function&oldid=1019270544