魔法のようで魔法ではない、定理と公理、解読と証明でバグを修正する。