I don't think that's fair. Basic proofs are fairly rote, but if you don't know where to start it can be challenging to replicate them. You sort of begin by learning to translate definitions into algebra, and only branching out from there. Until you get a sense for which tools to reach for when, you could bang your head against that wall for a while without making any real progress (and pick up some terrible habits in the process).