〈７〉の結論が出た西暦２００２年１月以降、私は〈１３〉について熱心に黙想しました。
私は、③、「定理の改良型の分解型」（-１２８×〈７＋１３〉）＋２＝-２５５８の〈１３〉を解説します。