Notes:
Theorem proved by Impagliazzo and Zuckerman and independently by Cohen and Wigderson.