>>155

まあ、誤解をまねく用語なことは確か。
形式的証明でもちょっとおかしいけどね。