Sketch semi inhabitation theorem in axiomatic development