Acid rain theorem (1994)

by E Meijer