It was conjectured by Ravenel (1984) and proved by Devinatz, Hopkins & Smith (1988).
Den förmodades av Ravenel (1984) som en del av Ravenels förmodanden och bevisades av Devinatz, Hopkins & Smith (1988).