Mathematical Theory of Permanent Progres by Hisashi Okamoto & Mayumi Shoji