LE‖DB‖D1B1‖HG.L,E,H,G共面α.LK‖AD1‖EH∈α.L∈α,∴K∈α.
同理:F∈α.E,F,G,H,K,L共面,即EF,GH,KL共面.