notes-math-mistakenProofs