Exactly. If it can be proven that an alleged infringer actually came up with the same idea independently, that should demonstrate that the idea is not non-obvi

Exactly. If it can be proven that an alleged infringer actually came up with the same idea independently, that should demonstrate that the idea is not non-obvious and therefore the patent is invalid.