On irreducible characters of the group $S_n$ that are semiproportional on $A_n$ or $S_n\setminus A_n$. VII

The proof of Hypothesis A, which was introduced in the first paper with the same title, was carried out in the previous six papers of the series and is completed in the present paper. As a consequence of this hypothesis, the following theorem is obtained: the alternating group $A_n$ for any natural $n$ has no pairs of semiproportional irreducible characters. The suggestion about the validity of this theorem was first formulated in the author's paper in 2004.