一応補足しとくと、マクダフがギャップを指摘してFOOOで補強された
当初証明と認められていなかったというのは言い過ぎで、まああまり注目されてなかったのは確かだが少なくとも今は全くそんなことなく、ちゃんと重要視されてるはず