the existence of a proof that P and NP are not equal would not directly imply the existence of one-way functions.
Их существование докажет, что классы сложности P и NP не равны, попутно разрешив ряд вопросов теоретической информатики.