Things are seldom "proven" in court the way they are in mathematics. Instead, Mike would swear that he had never looked at the source code, which, if his lawyer is any good, he will only let him do if it's actually true, because it would open him up to perjury charges. Later, if Monit had evidence this wasn't true, they would present it. IANAL.