[Solved]: If an NP-complete problem is shown to have a non-polynomial lower bound, would that prove that P != NP?

Not quite. If there’s an exponential lower bound for a NP-complete problem, then it follows that no NP-complete problem can be solved in polynomial time. However, there will be some other NP problems (which aren’t NP-complete) that can be solved in polynomial time. If there’s an exponential lower bound for any NP problem, then it follows that P != NP. In particular, an exponential lower bound for some problem means that the problem is not in P. So, if you have an exponential lower bound for some NP problem, that means the problem is in NP but not in P — which means NP contains a problem that is not in P — which means that NP != P. It might help to recall that NP is a set of problems (the set of all search problems where YES answers have a polynomial-size witness that can be verified in polynomial time). Similarly, P is a set of problems (the set of all search problems that can be solved in polynomial time). So, if you’ve found one element of NP that is not an element of P, you can immediately conclude that those two sets are not the same sets. Or, to put it another way: your second paragraph is the contrapositive of the statement in the first paragraph. If there is a NP problem with a non-polynomial lower bound, then not every problem in NP can be solved in polynomial time. If not every problem in NP can be solved in polynomial time, then it follows that no polynomial-time algorithm can be found for any NP-complete problem. See What is the definition of P, NP, NP-complete and NP-hard? for more background.