I just learned from chatgpt that you're supposed to read only the first sentence of a proposition, called the enunciation, then try to work it out on your own, then read the rest of the text. I'm thinking I might try to read just the enunciation, then if it's a construction I'll try to do the construction, then read the construction, then I'll try to formulate a proof, then read the proof. For the enunciations you can read them for example here:

http://aleph0.clarku.edu/~djoyce/java/elements/bookI/bookI.html#props

But I guess it might be a problem to not accidentally see the proof when having the text open.