polygons - ポリゴンの一部を削除すると、全体がレンダリングされなくなります

Question

だから、私はプリズムを作ります：

width=30
thickness=15
polyhedron(
    points=[ 
        [width,0,0],[width,0,thickness],
        [width,width,0],[width,width,thickness],
        [0,width,0],[0,width,thickness]
    ],
    faces=[
        [1,3,5], [0,2,4],[1,0,2,3],[3,5,4,2],[1,5,4,0]
        ]
    );

どちらがうまくレンダリングされますか:

次に、そのチャンクを削除します。

difference () {
    <THAT PRISM>
    translate([0,0,thickness-5]) cylinder(r=width-10, h=6);
    }

私が得たのは、円形のチャンクが取り出されたプリズムの代わりに、完全ではない多角形を取得 したことです。どうしたのですか？私は差分ステートメントで何が間違っていますか?