如图，已知AB⊥BD，AB∥ED，AB=ED，要说明△ABC≌△EDC，若以“SAS”为依据，还要添加的条件为     ；若添加条件AC=EC，则可以用     公理（或定理）判定全等．