Paul Erdos şi Terence Tao, în 1985.