Further, there just isn’t “cheating” in a proof. Being able to do a demonstration yet another way just illuminates the phenomena all the better.
You might know something if you know one way to do it. You have a much better understanding if you have two ways. Three and your understanding is probably pretty solid. Etc
This is how it was taught when I learned CS theory in uni [0]
[0]: https://introtcs.org/public/lec_09_godel.html