1990/theorem