How do you know the proof is valid for the theorem you are trying to proof? You have to check the logic of the construction, to know things like which measureme

How do you know the proof is valid for the theorem you are trying to proof? You have to check the logic of the construction, to know things like which measurements are exactly equal. So the visual part of the construction doesn't suffice. It's the same issue as the infinite chocolate triangles glitch.