The details below have been pre-analyzed from your proof.