Those are arguments, not proofs. Whether or not patents have actually been a net positive to innovation is a matter of active academic debate.