Kaname Jinguji's Record of Proof - zeta