THE FIELD THAT EARNS ITS CURVATURE — First-Principles Proof and Machine Certificate