Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Lemma 64. A nontrivial fenced interval cannot be an interval in a finite soluble group. Consequently, if Inn(T)≤B≤H(T) , the interval [B,H] is not nontrivially fenced.