fibre ϕ−contraction theorem