Given a full rank $n \times m$ matrix $K$ with $m<n$ and an invertible symmetric matrix $J$. Let $A$ be a symmetric positive semi-definite $n \times n$ matrix such that \begin{equation} (K^T K)^{-1}K^TAK(K^TK)^{-1}-(K^TJK)^{-1} \end{equation} is positive semi-definite. I'd like to prove that \begin{equation} A-K(K^TJK)^{-1}K^T \end{equation} is also positive semi-definite.
This is my investigation: \begin{align*} (K^T K)^{-1}K^TAK(K^TK)^{-1}\geq(K^TJK)^{-1}\iff K^TAK\geq K^T K(K^TJK)^{-1}K^T K \end{align*} by multiplying RHS by $K^T K$ from left and right. But, I am not sure if we can multiply bu such matrices and I don't know what I do then. Could anyone help me? Thanks in advance.