rabins compression theorem