Provide a comprehensive theoretical analysis of the P vs NP problem. Explain the definitions of P and NP complexity classes. Discuss the theoretical consequences on cryptography, optimization, and mathematical proof verification if P were to equal NP. Conversely, explain the significance if they are proven to be unequal.