二重否定の除去から爆発律がどうやってでるのか未だにわからんのだが
これどうやるんだ?体系になんか秘密があるのか?