A proof of a conjecture about a symmetric system of orthogonal polynomials. Issue 4 (2nd April 2020)