かなり詳細に突っ込まれるし、それをちゃんと証明しないといけない。