やっぱエイゼンシュテイン以前以後に分けられるよね