In this section we conclude the proof of the results stated in the Introduction. The proof of Theorem B naturally splits into two cases according to the sign ϵ(π,K,12) (see the discussion at the beginning of \lx@sectionsign???), but in both cases it…