ABCD是矩形
>BC//面PAD
面PAD∩面BCEF=EF,
所以,BC//EF,而且,很显然,EF≠BC
所以,BCFE是梯形