为什么BFC可以解决margin叠加问题？

Question

http://jsfiddle.net/gothic/B6E8F

不是说两个或多个毗邻的普通流中的块元素垂直方向上的 margin 会折叠，那么这个例子违反了哪个条件？