hyp.-obL , Isa is » ?.