给出的四个程序框图，其中满足WHILE语句结构的是（ ）
给出下列四个命题，其中正确的是（ ）①在空间若两条直线不相交，则它们一定平行；②平行于同一条直线的两条直线平行；③一条直线和两条平行直线中的一条相交，那么它也和另一条相交；④空间四条直线a，b，c，d，如果a∥b，c∥d，且a∥d，那么b∥c．
在556－（332＋254）中，先算____法。
