“…would follow from (14), giving, for a choice of M = 2c 1 2 , the conclusion Ψ y A ts , B ts − ϕ ts (y) > c 1 |t − s| a , contradicting identity (12), where X ts , X ts belongs to U for δ small enough, and the fact that A ts , B ts is a minimizer. This proves Theorem 6 in the special case where d ≥ m and where for some y ∈ R d the family V i (y), V j , V k (y) ; 1 ≤ i ≤ , 1 ≤ j < k ≤ is free.…”