Comment by cyberge99

The problem isn’t the proofs, it’s proper attribution.