G T ] 2 5 Ja n 20 01 The compression theorem