Let’s hope the patch used to manipulate the ballot counting machines left a forensic footprint on their memory that indicates exactly the evidence of their illegal count. That would prove a Trump win.
Two thoughts: One, generally, software does not leave a decent trace when overwritten, if the person who wishes to conceal the software is competent.
Two, we have all the proof we need already. What's one more?