We don’t allow the use of the word to be in a proof, because of the problem of t

We don’t allow the use of the word to be in a proof, because of the problem of the copula. Look it up. That’s one of the reasons operational language is so difficult. “Is” lets you pretend you understand what you’re saying. Removing it makes you demonstrate that you do. And fail.