如图,PD垂直正方形ABCD所在的平面,PD=DC,E为PC的中点,EF垂直于PB于点F,求证,PB垂直于平面EFD