设G是BB1中点.B1GCF是平行四边形.B1F‖＝GC.
GE‖＝BA‖＝CD,∴CDEG是平行四边形,GC‖＝ED.∴B1F‖＝ED.
∴B1EDF是平行四边.