真空ポンプ

但し、太さは35〜40ミリ程度のままで長さが30センチ超のヤツを使う。