Craig theorem