DE congruent DF
D=punct comun
DE, DF aparțin planului EFD
F, E coliniare
Din toate astea rezulta ca DE congruent DF