Non-Zero Proton Electric Dipole Moment Derivation From First Principles