К гипотезе о полупропорциональных характерах в группах $\mathrm{Sp}_4(q)$

Ранее автором была высказана гипотеза: если конечная группа имеет два полупропорциональных неприводимых характера $\varphi$ и $\psi$, то $\varphi(1)=\psi(1)$. В статье получено новое её подтверждение. А именно, гипотеза доказана для симплектических групп $\mathrm{Sp}_4(q)$ и $\mathrm{PSp}_4(q)$.