begin{hiddenproof}
Some proof.
begin{equation}
  label{eq:eq1}
  Ax = b
end{equation}
end{hiddenproof}

begin{equation}
  label{eq:eq2}
  Ax = c
end{equation}